101. Energy simulation in building design
پدیدآورنده : Clarke, J. A. )Joe A.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Energy conservation Simulation methods ، Buildings,Mathematical models ، Architecture and energy conservation,Computer simulation ، Architecture and energy conservation,، CONFORTO TERMICO DAS CONSTRUCOES,، CONSERVACAO DE ENERGIA
رده :
TJ
163
.
5
.
B84
C57
2001
102. Engineering Principles of Combat Modeling and Distributed Simulation.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combat-- Mathematical models.,Combat-- Simulation methods.,Military art and science-- Computer simulation.,War games-- Data processing.,Military Science.
رده :
U310
.
T63
2012
103. Engineering principles of combat modeling and Distributed Simulation
پدیدآورنده : / by Andreas Tolk
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : War games--Data processing,Military and science --Computer simulation,Combat--Mathematical models,Combat--Simulation methods
رده :
U310
.
T63
2012
104. Formal modeling and analysis of timed system
پدیدآورنده : / Franck Cassez, Claude Jard (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
105. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
106. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
107. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
108. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
109. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
110. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
111. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791
112. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
113. Fundamentals of performance evaluation of computer and telecommunications systems
پدیدآورنده : / Mohammad S. Obaidat, Noureddine A. Boudriga
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer systems, Evaluation,Computer systems, Simulation methods,Telecommunication systems, Evaluation,Telecommunication systems, Simulation methods
رده :
QA76
.
9
.
E94O23
2010
114. Fundamentals of performance evaluation of computer and telecommunications systems
پدیدآورنده : / Mohammad S. Obaidat, Noureddine A. Boudriga
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer systems, Evaluation,Computer systems, Simulation methods,Telecommunication systems, Evaluation,Telecommunication systems, Simulation metods
رده :
QA76
.
9
.
E94O23
2009
115. Fundamentals of virtual colonoscopy
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Colonoscopy ; Computer simulation. ; Colonography, Computed Tomographic ; methods. ; Colon ; radiography. ; Colonic Diseases ; pathology. ;
116. GEO-EAS )Geostatistical environmental assessment software( user's guide
پدیدآورنده : Englund, Evan J.
کتابخانه: (طهران)
موضوع : Computer simulation ، Environmental impact analysis,، Geology -- Statistical methods
رده :
RD
194
.
6
.
E55
1988
117. Games and simulations
پدیدآورنده :
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Education, Simulation methods,Computer games,Computer-assisted instruction
رده :
LB1029
.
G3
2007
R
118. Games and simulations in online learning :
پدیدآورنده : David Gibson, Clark Aldrich, Marc Prensky, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games.,Computer-assisted instruction.,Education-- Simulation methods.,Éducation-- Simulation, Méthodes de.,Enseignement assisté par ordinateur.,Jeux d'ordinateur.,Computer games.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Computerspiel,Computerunterstütztes Lernen,Education-- Simulation methods.,Simulation
رده :
LB1029
.
S53
G36
2007eb
119. Games and simulations in online learning :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : assisted instruction ; -Education ; Simulation methods ; Computer games ; Computer
120. Games and simulations in online learning
پدیدآورنده : / David Gibson, Clark Aldrich and Marc Prensky, [editors]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Education--Simulation methods,Computer games.,Computer-assisted instruction.
رده :
LB
,
1029
,.
S53
,
G36
,
2007
